STM: grp sig wf
ABS: |g|
STM: grp car wf
ABS: =
STM: grp eq wf
ABS:
STM: grp le wf
ABS: *
STM: grp op wf
ABS: e
STM: grp id wf
ABS: ~
STM: grp inv wf
